Merge pull request #219 from tsteven4/clean888
authortsteven4 <tsteven4@users.noreply.github.com>
Wed, 4 Jul 2018 21:00:25 +0000 (15:00 -0600)
committerGitHub <noreply@github.com>
Wed, 4 Jul 2018 21:00:25 +0000 (15:00 -0600)
miscellaneous cleanups & bug fixes.


Trivial merge